🧩 Constraint Logic - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

weitianxin/Awesome-Agentic-Reasoning

github.com·3h

🤖Abstract Machines

From logical reasoning to code in C and PHP

dev.to·1d·

Discuss: DEV

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

arxiv.org·1d

haskellweekly.news·56m

⚡functional programming

Conversation: LLMs and the what/how loop

martinfowler.com·21h

🔀Control Structures

GNU C Language Manual

gnu.org·16h

🪄C Metaprogramming

Making a Language

thunderseethe.dev·13h

🔬programming language theory

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·2d·

Discuss: Hacker News

📜Proof Languages

Production-Ready ML Projects: Why Structure Matters More Than Your Model

pub.towardsai.net

·7h

🌳Tree Shaking

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Making large language models reliable data science programming copilots for biomedical research

nature.com·1h

🔍ML Language

DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI

osf.io·1d·

Discuss: DEV

📜Proof Languages

In Praise of APL (1977)

jsoftware.com·3h·

Discuss: Hacker News

🔬programming language theory

Solved yet stuck

kevinsdias.com·13h

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🌸Bloom Filters

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·19h·

Discuss: Hacker News

🪢Rope Data Structures

huggingface.co·1h

🔤Language Tokenizers

Loading more...